<script>
var worker = new Worker('./worker_fetch.js');
worker.onmessage = event => { document.title = event.data; };
</script>
